Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
111	Canonical Disjoint NP-Pairs of Propositional Proof Systems Christian Glaßer ∗ Alan L. Selman† Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2004-11-19 10:15:58 NP Computational complexity theory Operator theory Karp–Lipton theorem 3-dimensional matching Mathematics Applied mathematics Function
112	Index of syntactic variables appearing in R. Carnap’s Logical Syntax of Language (English translation, [removed]For errors or additions, please e-mail Douglas Marshall at [removed]. Syntactic Variable: Ran Add to Reading List Source URL: www.carnap.org Language: English - Date: 2005-11-07 12:18:27 Mathematical logic Propositional calculus Semantics Function Propositional variable Predicate variable Term Expression Predicate Logic Mathematics Predicate logic
113	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
114	Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-13 09:46:14 Function Mathematical proof Mathematical induction Finitary relation Well-founded relation Unification Boolean algebra Propositional calculus Principia Mathematica Mathematics Logic Mathematical logic
115	PDF Document Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
116	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-28 09:34:43 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
117	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September 18, 2004 in Białowie˙za (Poland). The workshop was devoted to celebrate 30 years of Mizar. It was affiliated to th Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
118	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
119	assertion, denial and non-classical theories Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne Add to Reading List Source URL: consequently.org Language: English - Date: 2009-07-31 06:48:36 Propositional calculus Semantics Logical connectives Interpretation Entailment Universal quantification Vacuous truth Negation Function Logic Philosophical logic Non-classical logic
120	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics

UPDATE